Orders: Description and roles

Euclidian Roles in Description Logics

In the current paper we investigate the role of Euclidian roles in Description Logics.

Modal Description Logics: Modalizing Roles

In this paper, we construct a new concept description language intended for representing dynamic and intensional knowledge. The most important feature distinguishing this language from its predecessors in the literature is that it allows applications of modal operators to all kinds of syntactic terms: concepts, roles and formulas. Moreover, the language may contain both local (i.e., state-depen...

Description Logics with Transitive Roles

This paper describes the logic ALCHR+ , which extends ALCR+ with a primitive role hierarchy, and presents an appropriate extension to the ALCR+ satisfiability testing algorithm. ALCHR+ is of interest because it provides useful additional expressive power and, although its satisfiability problem is Exptimecomplete, the algorithm is relatively simple and is amenable to optimisation.

A Description LogicwithTransitive and Converse Roles

Diierential Algebraic Description of Beam Dynamics to Very High Orders

The new method of diierential algebras for the description of beam dynamics is presented. It allows a very straightforward and elegant computation of transfer maps of accelerator systems which can be analysed for data relevant to accelerators. The order of the procedure is unlimited. The theoretical background of the method is presented in detail. It is shown how the method can be used in pract...